Importing Logics: Soundness and Completeness Preservation
نویسندگان
چکیده
منابع مشابه
Importing Logics: Soundness and Completeness Preservation
Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in [...
متن کاملOn the Soundness and Completeness of Equational Predicate Logics
We present two different formalizations of Equational Predicate Logic, that is, first order logic that uses Leibniz’s substitution of “equals for equals” as a primary rule of inference. We prove that both versions are sound and complete. A by-product of this study is an alternative proof to that contained in [GS3], that the “full” Leibniz rule is strictly stronger than the “no-capture” Leibniz ...
متن کاملCompleteness and Soundness of Axiomatizations for Temporal Logics. Without Next
We present axiomatizations for Until Temporal Logic (UTL) and for Since/Until Temporal Logic (SUTL). These logics are intended for use in specifying and reasoning about concurrent systems. They employ neither a next nor a previous operator, which obstruct the use of hierarchical abstraction and reenement, and make reasoning about concurrency diicult. We also provide a procedure for translating ...
متن کاملSoundness and Completeness of Formal Logics of Symmetric Encryption
SOUNDNESS AND COMPLETENESS OF FORMAL LOGICS OF SYMMETRIC ENCRYPTION Gergei Bana Supervisor: Andre Scedrov In the last two decades, two major directions in cryptography have developed: formal and computational. The formal approach uses simple, manageable formal languages to describe cryptographic protocols; this approach is amenable to automatization, suitable for computer tools, but its accurac...
متن کاملFibring Non-Truth-Functional Logics: Completeness Preservation
Fibring has been shown to be useful for combining logics endowed with truthfunctional semantics. However, the techniques used so far are unable to cope with fibring of logics endowed with non-truth-functional semantics as, for example, paraconsistent logics. The first main contribution of the paper is the development of a suitable abstract notion of logic, that may also encompass systems with n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2012
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-011-9363-x